Augustine’s Socratic method

Socratic Trees

We consider the method of Socratic proofs (SP-method). SP-method enables a formal explication of the idea of solving logical problems (i.e problems of entailment/ derivability/ theoremhood) by pure questioning, that is, by transforming the relevant initial question into consecutive questions without making any use of answers to the questions just transformed. Our aim is to give a method of tran...

Socratic Proofs

Running head : STUDY OF THE SOCRATIC METHOD 1

In this study we analyzed 65 fragments of session recordings in which a cognitive behavioral therapist employed the Socratic method with her patients. Specialized coding instruments were used to categorize the verbal behavior of the psychologist and the patients. First the fragments were classified as more or less successful depending on the overall degree of concordance between the client’s ve...

Socratic Learning

Modern machine learning techniques often use discriminative models that require large amounts of labeled data. Since generating labeled training data sets is expensive, an alternative approach is to use a generative model, which leverages a simple heuristic to weakly label data. Domain experts prefer using generative models because they “tell a story” about their data. Unfortunately, generative...

A Socratic method for validation of measurement-based networking research

Nearly three decades of Internet measurement has resulted in large-scale global infrastructures used by an increasing number of researchers. They have examined various Internet properties in areas such as network infrastructure (routers, links), traffic (measurement at packet, flow, and session level) and applications (DNS, Web, P2P, Online Social Networks, etc.) and presented results in divers...